Remove doc/lispref/tindex.pl
authorGlenn Morris <rgm@gnu.org>
Thu, 26 Apr 2012 01:47:05 +0000 (18:47 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 26 Apr 2012 01:47:05 +0000 (18:47 -0700)
commit3047f53de67bc15de6787c4569f0d89f8f930a91
treebf370ea2c09b4eca9b241c19de137385cd882af1
parent506036abfb445fa89f09c11e4c30d88040504db1
Remove doc/lispref/tindex.pl
I think it is not needed any more.

* doc/lispref/tindex.pl: Remove file.
* make-dist: No more doc/lispref/tindex.pl.
ChangeLog
doc/lispref/ChangeLog
doc/lispref/tindex.pl [deleted file]
make-dist